/**
 * XQuery to Scala Translator
 * Fatemeh Borran-Dejnabadi
 * 15 December 2004
 */

package xquery2src;

/** This class provides a representation for types in misc
 */
object Types {

  /** This singleton type is used when there is no type associated
   *  with a tree node.
   */
  final val NO_TYPE:Type = new Type();

  /** This type represents an erroneous type (caused by a typing
   *  error).
   */
  final val BAD_TYPE:Type = new Type();

  /** The bottom type.
   */
  final val BOTTOM_TYPE:Type = new Type();

  /** The top type.
   */
  final val ANY_TYPE:Type = new Type();

  /** Type Unit.
   */
  final val UNIT_TYPE:Type = new Type();

  /** Type Int.
   */
  final val INT_TYPE:Type = new Type();

  /** Type String.
   */
  final val STRING_TYPE:Type = new Type();

  /** Type Element.
   */
  final val ELEMENT_TYPE:Type = new Type();

  /** Type Attribute.
   */
  final val ATTRIBUTE_TYPE:Type = new Type();

  /** Type Collection.
   */
  final val COLLECTION_TYPE:Type = new Type();

}
